101. Certified programs and proofs :
Author: Jean-Pierre Jouannaud, Zhong Shao (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
C37
2011eb
102. Collegium Logicum.
Author: Kurt-Gödel-Gesellschaft
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computer software.,Logic design.
103. Communication and Cooperation in Agent Systems :
Author: edited by Afsaneh Haddadi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks.,Computer science.,Software engineering.
Classification :
QA76
.
9
.
D5
E358
1996
104. Compiler Generators :
Author: by Mads Tofte.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
76
.
C65
B963
1990
105. Computational Logic - CL 2000 :
Author: edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture.,Computer science.,Software engineering.
Classification :
QA76
.
9
.
L63
E358
2000
106. Computational Methods in Stochastic Dynamic
Author: / edited by Manolis Papadrakakis, George Stefanou, Vissarion Papadopoulos
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Engineering,Computer science,Vibration,Electronic books
Classification :
E-BOOK
107. Computational artifacts :
Author: Raymond Turner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Philosophy.,Computer science-- Philosophy.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
Classification :
QA76
.
167
108. Computational logic and set theory :
Author: Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Set theory
Classification :
QA248
.
S39
2011eb
109. Computational matter /
Author: Susan Stepney, Steen Rasmussen, Martyn Amos, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic data processing.,Natural computation, Congresses.,Soft computing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing.,Natural computation.,Soft computing.
Classification :
QA76
110. Computational pathology and ophthalmic medical image analysis :
Author: Danail Stoyanov, Zeike Taylor, Francesco Ciompi, Yanwu Xu et al. (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Eye-- Imaging, Congresses.,Pathology-- Data processing, Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Image Processing and Computer Vision.,Pattern Recognition.,Probability and Statistics in Computer Science.,Algorithms & data structures.,Artificial intelligence.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Mathematical & Statistical Software.,Image processing.,Maths for computer scientists.,Pathology-- Data processing.,Pattern recognition.
Classification :
RB38
111. Computational science and its applications-- ICCSA 2013 :
Author: Beniamino Murgante ... [and seven others] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer networks -- Congresses.,Computer science -- Congresses.
112. Computer Aided Systems Theory - EUROCAST '95 :
Author: edited by Franz Pichler, Roberto Moreno Díaz, Rudolf Albrecht.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Computers, Special purpose.,Microprocessors.
Classification :
TA345
.
E358
1996
113. Computer Aided Verification :
Author: edited by Rajeev Alur, Thomas A. Henzinger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
114. Computer Aided Verification :
Author: edited by Gregor Bochmann, David Karl Probst.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
115. Computer Aided Verification :
Author: Isil Dillig, Serdar Tasiran (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
758
.
C38
2019
116. Computer Engineering and Technology :
Author: edited by Weixia Xu, Liquan Xiao, Pingjing Lu, Jinwen Li, Chengyi Zhang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Memory management (Computer science)
117. Computer Graphics :
Author: edited by Tosiyasu L. Kunii.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer graphics.,Computer science.,Computer-aided design.
Classification :
T385
.
E358
1983
118. Computer and communication engineering :
Author: Miguel Botto-Tobar, Julio Barzola-Monteses, Eduardo Santos-Baquerizo, Mayken Espinoza-Andaluz, Wendy Yánez-Pazmiño (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering, Congresses.,Computer networks, Congresses.,Software engineering, Congresses.,Computer engineering.,Computer networks.,Software engineering.
Classification :
TK7885
.
A1
119. Computer architecture and security :
Author: Shuangbao (Paul) Wang, Robert S. Ledley
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture,Computer security,System design
Classification :
QA76
.
9
.
A73
W36
2013
120. Computer performance engineering :
Author: Nigel Thomas (edition)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering, Congresses,Computer systems-- Evaluation, Congresses,Computers-- Reliability, Congresses,Formal methods (Computer science), Congresses
Classification :
QA76
.
9
.
E94
E64
2011
